extract (Store f s) = f s